propositional calculus

n. 命题逻辑
[网络] 命题演算;命题代数;命题演算系统

热门查询